Soit \(E\) un ensemble et \(A(x)\) une assertion dépendant d'un objet \(x\) de \(E\)
Alors il existe un unique ensemble \(F\) inclus dans \(E\) tq $$(\forall x\in E)(x\in F\iff A(x))$$
Cet ensemble est noté $$F=\{x\in E,A(x)\}$$
(Assertion, Quantificateur universel)
Ensemble des parties d’un ensemble
Combinaison
Combinaison
Théorème de Cantor